This paper presents an architecture enabling developers to easily and flexibly assign replication protocols simply by annotating individual server methods. This avoids using costly replication protocols for all object ...

Implementing test suites for distributed software systems is a complex and time-consuming task due to the number of test cases that need to be considered in order to obtain high coverage. We show how a formal Coloured Petri ...

Autograder is a tool developed at the University of Stavanger that provides immediate feedback on programming assignments. The assignments are correctly automatically based on test cases written manually by the teacher. ...

Biometric authentication is currently being used for numerous devices; such as mobile phones, computers, etc. However, for now, the only authentication methods for wearable devices are those of passwords and pin codes. The ...

Credential verification possess a unique challenge involving multi-disciplinary domains throughout the process starting from certification to verification of credentials. Even though technology has transformed many traditional ...

A blockchain is a datastructure that is an append-only chain of blocks. Each block contains a set of transaction and has a cryptographic link back to its predecessor. The cryptographic link serves to protect the integrity ...

ReDi is a new static analysis tool for improving code correctness. It targets the C# language and is a .NET Roslyn live analyzer providing live analysis feedback to the developers using it. ReDi uses principles from formal ...

This thesis extends the Snarl file repair component for distributed storage systems, and evaluates extensions. Snarl is an application using alpha entanglement codes to improve recovery rates of content stored in distributed ...

Byzantine faults, or arbitrary faults, are difficult to handle due to their unknown nature. They include software errors, hardware errors, and malicious behavior. There are several algorithms which handle Byzantine faults ...

A picture says more than a thousand words. Visualization of problems often helps in a better understanding of what is happening. Plural observers can look at the same result. Observe different behaviors and trends, coming ...